Lógica elemental / Juan M Negrete
Por: Negrete, Juan M [Autor].
Tipo de material: LibroEditor: México Limusa 1994Edición: 1a. ed.Descripción: 138 p.ISBN: 9681844998.Tema(s): LÓGICA MATEMÁTICA | LÓGCA ELEMENTAL | CÁLCULO | LÓGICA CUANTIFICACIONALClasificación CDD: 511.3 Resumen: LOS SÍMBOLOS LÓGICOS. Símbolos variables. Símbolos constantes. LA AXIOMÁTICA. Los principios lógicos tradicionales. Algunos principios de la teoría de conjuntos. La axiomática Russell-Whitehead. LAS REGLAS DE FORMACIÓN. La codificación. El cálculo proposicional. La lógica cuantificacional. LAS REGLAS DE TRANSFORMACIÓN. Del cálculo proposicional. De la lógica cuantificacionalTipo de ítem | Ubicación actual | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras | Reserva de ejemplares |
---|---|---|---|---|---|---|---|
Libros | Biblioteca Central SM Colección General | 511.3 N447 (Ver Items Similares) | Ej.1 | Disponible | 4012 | ||
Libros | Biblioteca Central SM Colección General | 511.3 N447 (Ver Items Similares) | Ej.2 | Disponible | 4013 | ||
Libros | Biblioteca Central SM Colección General | 511.3 N447 (Ver Items Similares) | Ej.3 | Disponible | 4014 |
Total de reservas: 0
Contenido en p.9
LOS SÍMBOLOS LÓGICOS. Símbolos variables. Símbolos constantes. LA AXIOMÁTICA. Los principios lógicos tradicionales. Algunos principios de la teoría de conjuntos. La axiomática Russell-Whitehead. LAS REGLAS DE FORMACIÓN. La codificación. El cálculo proposicional. La lógica cuantificacional. LAS REGLAS DE TRANSFORMACIÓN. Del cálculo proposicional. De la lógica cuantificacional
Negrete, Juan M 1994 1994
No hay comentarios para este ejemplar.